body {
  font-family: "Tahoma", "Geneva", "Lucida Sans Unicode", "Lucida Grande", sans-serif;
}

#shell-area {
  width: 90%;
}

h1 {
  font-size: 1.3em;
  text-align: center;
}

h2 {
  font-size: 1.1em;
  border-bottom: 1px solid #000000;
}

h3 {
  font-size: 1.0em;
}

#nav {
  text-align: center;
  font-size: 0.9em;
  background-color: #cccccc;
  padding: 5px;
}

#nav a {
}

#nav a.selected {
  text-decoration: none;
  color: black;
}

#version {
  font-size: 0.8em;
}

.textBox {
  font-family: monospace;
  border: 3px solid #cccccc;
  background-color: #eeeeee;
  color: #000000;
  padding: 5px;
  font-family: "Bitstream Vera Sans Mono", "Consolas", "Lucida Console", "Monaco", monospace;
  font-size: 0.9em;
}

#shell-input {
  width: 100%;
}

#shell-results {
  width: 100%;
  height: 400px;
}

span.code {
  font-family: "Bitstream Vera Sans Mono", "Consolas", "Lucida Console", "Monaco", monospace;
  font-size: 0.9em;
  cursor: pointer;
  padding: 2px;
}

span.ex {
  font-family: "Bitstream Vera Sans Mono", "Consolas", "Lucida Console", "Monaco", monospace;
  font-size: 0.9em;
  padding: 2px;
}

span.hovering {
  background-color: #ccdddd;
}

span.not-hovering {
  background-color: #cccccc;
}

div#sections ul li {
  margin-top: 8px;
  margin-bottom: 8px;
}

a {
  color: #0000FF;
}

a.external {
  color: #3366BB;  
  background: transparent url(external.png) no-repeat scroll right center;
  padding-right: 13px;
}

div.back-link {
  font-size: 0.9em;
}

div.float-left {
  float: left;
}

div.float-right {
  float: right;
}